Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 865 results
Sort by: relevance publication year

Quantum logic, Hilbert space, revision theory

JOURNAL ARTICLE published March 2002 in Artificial Intelligence

Authors: Kurt Engesser | Dov M. Gabbay

https://doi.org/10.1016/s0004-3702(01)00164-3 Actions

Classical vs Non-classical Logics (The Universality of Classical Logic)

BOOK CHAPTER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: D M Gabbay

https://doi.org/10.1093/oso/9780198537465.003.0006 Actions

Preface

OTHER published 25 April 1996 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson

https://doi.org/10.1093/oso/9780198534532.002.0002 Actions

Contributors

OTHER published 25 April 1996 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson

https://doi.org/10.1093/oso/9780198534532.002.0003 Actions

Title Pages

OTHER published 25 April 1996 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson

https://doi.org/10.1093/oso/9780198534532.002.0001 Actions

Towards a Computational Treatment of Time

BOOK CHAPTER published 25 April 1996 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: D M Gabbay | M Reynolds

https://doi.org/10.1093/oso/9780198534532.003.0006 Actions

Towards a Computational Treatment of Time

BOOK CHAPTER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: D M Gabbay | M Reynolds

https://doi.org/10.1093/oso/9780198537915.003.0006 Actions

Contributors

OTHER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | Galton Antony

https://doi.org/10.1093/oso/9780198537915.002.0003 Actions

Preface

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | D Nute

https://doi.org/10.1093/oso/9780198537472.002.0002 Actions

Preface

OTHER published 24 June 1993 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

https://doi.org/10.1093/oso/9780198537458.002.0002 Actions

Contributors

OTHER published 24 June 1993 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

https://doi.org/10.1093/oso/9780198537458.002.0003 Actions

Preface

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

https://doi.org/10.1093/oso/9780198537465.002.0002 Actions

Preface

OTHER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | Galton Antony

https://doi.org/10.1093/oso/9780198537915.002.0002 Actions

Contributors

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | D Nute

https://doi.org/10.1093/oso/9780198537472.002.0003 Actions

Title Pages

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | D Nute

https://doi.org/10.1093/oso/9780198537472.002.0001 Actions

Title Pages

OTHER published 24 June 1993 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

https://doi.org/10.1093/oso/9780198537458.002.0001 Actions

Title Pages

OTHER published 27 April 1995 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | Galton Antony

https://doi.org/10.1093/oso/9780198537915.002.0001 Actions

Title Pages

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

https://doi.org/10.1093/oso/9780198537465.002.0001 Actions

List of Contributors

OTHER published 17 March 1994 in Handbook of Logic in Artificial Intelligence and Logic Programming

Editors: Dov M Gabbay | C J Hogger | J A Robinson | J Siekmann

https://doi.org/10.1093/oso/9780198537465.002.0003 Actions

Game description language and dynamic epistemic logic compared

JOURNAL ARTICLE published March 2021 in Artificial Intelligence

Authors: Thorsten Engesser | Robert Mattmüller | Bernhard Nebel | Michael Thielscher

https://doi.org/10.1016/j.artint.2020.103433 Actions
Feedback: support@crossref.org